大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Acadâemie des sciences (France) 的图书(共1520本)

Static Analysis [electronic resource] : 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

0
索取号:
作者:Min茅、 Antoine.、Schmidt、 David.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Case-Based Reasoning Research and Development [electronic resource] : 20th International Conference, ICCBR 2012, Lyon, France, September 3-6, 2012. Proceedings

0
索取号:
作者:Agudo、 Bel茅n D铆az.、Watson、 Ian.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Computational Logic in Multi-Agent Systems [electronic resource] : 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings

0
索取号:
作者:Fisher、 Michael.、Torre、 Leon.、Dastani、 Mehdi.、Governatori、 Guido.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Unconventional Computation and Natural Computation [electronic resource] : 11th International Conference, UCNC 2012, Orl茅an, France, September 3-7, 2012. Proceedings

0
索取号:
作者:Durand-Lose、 J茅r么me.、Jonoska、 Nata拧a.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

FM 2012: Formal Methods [electronic resource] : 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings

0
索取号:
作者:Giannakopoulou、 Dimitra.、M茅ry、 Dominique.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Rules on the Web: Research and Applications [electronic resource] : 6th International Symposium, RuleML 2012, Montpellier, France, August 27-29, 2012. Proceedings

0
索取号:
作者:Bikakis、 Antonis.、Giurca、 Adrian.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Formal Methods for Industrial Critical Systems [electronic resource] : 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings

0
索取号:
作者:Stoelinga、 Mari毛lle.、Pinger、 Ralf.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Decision Support Systems-Collaborative Models and Approaches in Real Environments [electronic resource] : Euro Working Group Workshops, EWG-DSS 2011, London, UK, June 23-24, 2011, and Paris, France, November 30 - December 1, 2011, Revised Selected and Extended Papers

0
索取号:
作者:Hern谩ndez、 Jorge E.、Zarate、 Pascale.、Dargam、 F谩tima.、Deliba拧i膰、 Boris.、Liu、 Shaofeng.、Ribeiro、 Rita.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

The Art of Deliberating [electronic resource] : Democracy, Deliberation and the Life Sciences between History and Theory

0
索取号:
作者:Boniolo、 Giovanni.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Data and Applications Security and Privacy XXVI [electronic resource] : 26th Annual IFIP WG 11.3 Conference, DBSec 2012, Paris, France, July 11-13,2012. Proceedings

0
索取号:
作者:Cuppens-Boulahia、 Nora.、Cuppens、 Fr茅d茅ric.、Garcia-Alfaro、 Joaquin.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Logical Aspects of Computational Linguistics [electronic resource] : 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012. Proceedings

0
索取号:
作者:B茅chet、 Denis.、Dikovsky、 Alexander.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Data Integration in the Life Sciences [electronic resource] : 8th International Conference, DILS 2012, College Park, MD, USA, June 28-29, 2012. Proceedings

0
索取号:
作者:Bodenreider、 Olivier.、Rance、 Bastien.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Experimental Algorithms [electronic resource] : 11th International Symposium, SEA 2012, Bordeaux, France, June 7-9, 2012. Proceedings

0
索取号:
作者:Klasing、 Ralf.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Analytical and Stochastic Modeling Techniques and Applications [electronic resource] : 19th International Conference, ASMTA 2012, Grenoble, France, June 4-6, 2012. Proceedings

0
索取号:
作者:Al-Begain、 Khalid.、Fiems、 Dieter.、Vincent、 Jean-Marc.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Web Services and Formal Methods [electronic resource] : 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers

0
索取号:
作者:Carbone、 Marco.、Petit、 Jean-Marc.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems [electronic resource] : 9th International Conference, CPAIOR 2012, Nantes, France, May 28 鈥ʵne1, 2012. Proceedings

0
索取号:
作者:Beldiceanu、 Nicolas.、Jussien、 Narendra.、Pinson、 脡ric.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
最近添加的分类